-
1 temporal logic
1) Вычислительная техника: временная логика2) Программирование: темпоральная логика3) Робототехника: временная логика (в системе логического управления) -
2 linear temporal logic
Программирование: линейная темпоральная логика -
3 real-time temporal logic
Программирование: темпоральная логика реального времениУниверсальный англо-русский словарь > real-time temporal logic
См. также в других словарях:
Темпоральная логика — (англ. temporal logic) в логике это логика, учитывающая причинно следственные связи в условиях времени. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале. Она была разработана в 1960 х Артуром Приором… … Википедия
Асинхронная логика — Содержание 1 Принцип самосинхронности 2 Краткая история … Википедия
ВРЕМЕННАЯ ЛОГИКА — ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… … Философская энциклопедия
Параллелизм (компьютерные науки) — У этого термина существуют и другие значения, см. Параллелизм. «Проблема обедающих философов» классическая проблема с параллелизмом и разделяемыми ресурсами … Википедия
Модель Крипке — (англ. Kripke structure) это один из вариантов недетерминированного конечного автомата, который был предложен Солом Крипке. Этот вид НКА применяется при проверке моделeй для представления поведения системы. Модель Крипке является простой… … Википедия
История логики — изучает развитие науки о формах и законах правильного мышления (логика). Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя… … Википедия
Список статей по логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Список нестандартных логик — … Википедия
Список неклассических логик — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Представление знаний — Представление знаний вопрос, возникающий в когнитологии (науке о мышлении), в информатике и в исследованиях искусственного интеллекта. В когнитологии он связан с тем, как люди хранят и обрабатывают информацию. В информатике с подбором … Википедия
Представление информации — Представление знаний вопрос, возникающий в когнитологии (науке о мышлении), в информатике и в искусственном интеллекте. В когнитологии он связан с тем, как люди хранят и обрабатывают информацию. В информатике основная цель подбор представления … Википедия